Red Hat and the rise of RHEL