Stochastic Control Theory: Dynamic Programming Principle