航天晨光混合臂高空作业车有哪些型号