Optimization and control of extractive distillation for formic acid-water separation with maximum-boiling azeotrope. (January 2023)