distillation in coal mining industry