Air Force Taps Machine Learning to Speed Up Flight Certifications