Stopping criteria for value iteration on stochastic games with quantitative objectives