A stochastic optimization framework for JuMP