Risk verification of stochastic systems with neural network controllers