Multion: Benchmarking semantic map memory using multi-object navigation