Sound Value Iteration for Simple Stochastic Games