Automating Stochastic Optimal Control