An Empirical Analysis Of Algorithms For Simple Stochastic Games