The Pentagon taps Microsoft and Ball to pilot new military satellites