menthol distillation process