Stochastic Dynamic Programming Using Optimal Quantizers