Red Hat, Ubuntu, and Docker: Container virtualization goes mainstream