Real algebraic tools in stochastic games