Quantized Control Design for Cognitive Radio Networks Modeled as Nonlinear Semi-Markovian Jump Systems