Microsoft protests the U.S. National Security Agency awards a $10 billion contract for AWS