Underapproximation of Reach-Avoid Sets for Discrete-Time Stochastic Systems via Lagrangian Methods.