A Stochastic Programming Model for a Day-Ahead Electricity Market With Real-Time Reserve Shortage Pricing | Synapse