Here’s how Tinker Air Force Base cut heavy maintenance time for F-35 engines in half