Modeling, Design and Analysis of Multi-channel Cognitive Radio Networks