政府の基盤クラウド、Amazonに発注へ