Pentagon splits $9 billion cloud contract among Google, Amaz