A decomposition-based solution method for stochastic mixed integer nonlinear programs