Pentagon splits $9B cloud deal between Amazon, Google, Microsoft and Oracle