Synthesis of Reactive Distillation Processes