Pentagon splits $9 billion cloud contract among 4 companies