The value iteration method for countable state Markov decision processes