Network Virtualization Approaches Used by Infrastructure as a Service (IaaS) Cloud Service Providers