Conflict-Based Search for Optimal Multi-Agent Path Finding