FAA awards software and AI contract as part of air traffic control modernization