Multi-Agent Pathfinding: Definitions, Variants, and Benchmarks | Synapse