Red Hat names former Microsoft exec virtualization chief