Microsoft, VMware, Red Hat chase lucrative government cloud customers