Network Virtualization In Next-Generation Cellular Networks: A Spectrum Pooling Approach