“The FAA should prioritize purchasing commercially available, proven software from the private sector rather than funding long-term custom development projects for its modernization efforts.”