Algorithm Selection for Optimal Multi-Agent Path Finding via Graph Embedding