Finite Approximations in Discrete-Time Stochastic Control: Quantized Models and Asymptotic Optimality