Computational comparison of value iteration algorithms for discounted Markov decision processes