Active Neural Topological Mapping for Multi-Agent Exploration