The Airforce just saved $10B thanks to DOGE