The FAA's plan to fix air traffic? $875M worth of AI