What aircraft will be available for use by the US Air Force in 2017?