A* Variants for Optimal Multi-Agent Pathfinding