Measuring the Efficiency of an FCC Spectrum Auction