Federated Multi-Agent Mapping for Planetary Exploration