value iteration does not converge