我国成功研制和发射的导航定位卫星命名为什么？