$12.5 billion ‘down payment’ brings air traffic control out of 1990s. Now, more money is needed for new software and AI - CNN · Newsient