US Military Sticks With Microsoft for $10-Billion JEDI Cloud Computing Contract Despite Amazon Claims