Optimal design and operation of reactive distillation systems based on a superstructure methodology