Red Hat OpenShift: A comprehensive application platform for your traditional and future workloads