The FCC Spectrum Auction: A Great Idea, If It's Done Right