Kimera-Multi: a System for Distributed Multi-Robot Metric-Semantic Simultaneous Localization and Mapping | IEEE Conference Publication | IEEE Xplore