Infinite horizon linear quadratic optimal control for discrete‐time stochastic systems