Ning Guang, BeiDou, Ye Lan, ShenHe