Explainable Multi-Agent Reinforcement Learning for Temporal Queries