Spectral Efficiency Degradation of Mobile OFDM Due to Doppler Spreading