How much money did Congress give to the USAF to enable them to replace some of the grounded fleet?