Pentagon awards $10 bn cloud contract to Microsoft, snubbing Amazon