Amazon and Microsoft battle for $10 billion 'war cloud' contract with Pentagon