menthol production process