Reward Machines for Cooperative Multi-Agent Reinforcement Learning