the process of converting solid coal to a liquid fuel