Modeling the Efficiency of Spectrum Designated to License Use and Unlicensed Operations