Channel modeling and associated inter-carrier interference equalization for OFDM systems with high doppler spread