Radio environment map-based cognitive Doppler spread compensation algorithms for high-speed rail broadband mobile communications