$10 billion DoD cloud computing contract, known as JEDI