Feynman-Kac Numerical Techniques for Stochastic Optimal Control