Introduction to Discrete Time Dynamic Optimization