グローバル航空機の除氷車両市場のAIと自動化の影響