Reinforcement Learning With Reward Machines in Stochastic Games