Mechanisms and Games for Dynamic Spectrum Allocation