amazon microsoft jedi cloud computing contract challenge ended us judge pentagon cancellation amazon