Contracts that could total $9 billion were awarded to Amazon, Google, Microsoft and Oracle. An earlier effort, won by Microsoft, was scrapped after rivals objected.
