Advances in MINLP for Optimal Distillation Column Sequencing