DOT awards AI contract for air traffic control modernization