Underapproximation of reach-avoid sets for discrete-time stochastic systems via Lagrangian methods.