Spatial correlation models for total co-channel interference and carrier-to-interference ratio in mobile cellular systems.