Microsoft Azure vs Red Hat OpenShift | What are the differences?