Cross-Layer Design and Optimization of OFDMA-based Cognitive Radio Networks