Game-theoretic Formulation of Invariant Risk Minimization