Virtualization shoot-out: Citrix, Microsoft, Red Hat, and VMware