MAIN: A Real-world Multi-agent Indoor Navigation Benchmark for Cooperative Learning