The Kubernetes platform for big ideas: Red Hat OpenShift 4