AI和自动化的全球空中交通管制(ATC)设备和服务市场影响