How Do Spectrum Auctions Work