Spectral efficiency of cognitive radio systems with correlated fading channels