Pentagon cancels JEDI Cloud contract after years of contentious litigation