Market-Driven Spectrum Sharing in Cognitive Radio