U.S. Air Force purchases $9.3 million of Philips HeartStart MRx Monitor/Defibrillators