Big Data, Cloud and virtualization build Red Hat growth