Spectrum auction framework for access allocation in cognitive radio networks