The synthesis of distillation-based separation systems