coal to methanol 5000