Mechanisms and Games for Dynamic Spectrum Allocation: Management and allocation of Licensed spectrum