米国防総省の1兆円クラウド、AmazonではなくMicrosoftが受注