A Formal Definition of a Stochastic Game