Truthful Auction Mechanisms with Performance Guarantee in Secondary Spectrum Markets · Study