Multi-Robot Mapping for Scalable Digitization of Large Environments