Palantir、Thales 与初创公司竞标 FAA 预测性空中交通 AI 系统