Reactive distillation for methanol synthesis: Simulation-based design methodology