The OpenVirteX Virtualization Platform