Throughput-Efficient Dynamic Coalition Formation in Distributed Cognitive Radio Networks