Boeken over Modeling and optimization of the butadiene extractive distillation process