Email Record: GSM downlink spectrum occupancy modeling