欧洲的“伽利略”卫星导航系统计划由多少颗中高度圆轨道卫星组成？