Explainability in Multi-Agent Path/Motion Planning: User-study-driven Taxonomy and Requirements.