Factored Value Iteration Converges