Decomposition and smart enumeration for the globally optimal design of distillation columns with associated equipment | Synapse