“The technology currently used in the U.S. air traffic control system is so outdated that it requires a complete replacement rather than a modernization or reset.”