Auction Design for Secondary Spectrum Markets