How many USAF personnel did the reduction end in during 2008