RMASBench: a benchmarking system for multi-agent coordination in urban search and rescue