From Laboratory to Industrial Operation: Model-Based Digital Design and Optimization of Fixed-Bed Catalytic Reactors | Synapse