Migrating virtual machines from vSphere to Red Hat OpenShift Virtualization with the migration toolkit for virtualization