Modeling and optimization of the butadiene extractive distillation process by