Auction-based Theory for Dynamic Spectrum Access: A Review