Core-selecting combinatorial auction design for secondary spectrum markets.