Modeling multiuser spectrum allocation for cognitive radio networks. (May 2016)