Spectrum auction designs and revenue variations