Applied Stochastic Optimal Control for Spacecraft Guidance