Compilation-based Solvers for Multi-Agent Path Finding: a Survey, Discussion, and Future Opportunities