A Welfare Analysis of Spectrum Allocation Policies