Duffy busca miles de millones más para añadir IA al control del tráfico aéreo.