Spectrum Trading in Cognitive Radio Networks: A Contract-Theoretic Modeling Approach | Synapse