Pentagon cancels Microsoft's huge JEDI cloud contract : vima