Red Hat achieves new top virtualization performance benchmark with HP