menthol in industrial manufacturing