Congestion Management in a Stochastic Dispatch Model for Electricity Markets