Auction-based resource allocation in cognitive radio systems