Security-Constrained Optimal Power Flow with Post-Contingency Corrective Rescheduling | Synapse