《2020中国卫星导航与位置服务产业发展白皮书》发布:去年产值达3450亿元