Auction Design for the Wireless Spectrum Market