Truthful auction mechanism design for short-interval secondary spectrum access market.