Solving Security‐Constrained Optimal Power Flow with Benders Decomposition | Synapse