Email Record: A Probabilistic Model of Spectrum Occupancy, User Activity, and System Throughput for OFDMA based Cognitive Radio Systems /