Convergence theory for nonconvex stochastic programming with an application to mixed logit