“The U.S. Air Force should be procuring 80 to 100 F-35 aircraft annually to meet its needs.”