A two-stage spectrum leasing optimization framework for virtual mobile network operators | IEEE Conference Publication | IEEE Xplore