linearly solvable stochastic optimal control