Spectrum Auction Design, Experience in Auctions, Implementation, and Post-Auction Market Structure