Conflict-Based Search For Optimal Multi-Agent Path Finding