Scalable Mechanism Design for Multi-Agent Path Finding