Discrete dynamic programming and viscosity solutions of the Bellman equation.