Solving Simple Stochastic Games