On Channel Estimation for Mobile WiMAX