How the Air Force is bending the IT cost curve to save half a billion dollars