process of destructive distillation of coal