Analysis and design of metabolic reaction networks via mixed‐integer linear optimization | Synapse