グローバルリアルタイムの運動学(RTK)システム市場のAIと自動化の影響