refaining coal to get diesel fuel