Introduction to Stochastic Dynamic Programming