Language Kimera: an Open-Source Library for Real-Time Metric-Semantic Localization and Mapping April 29, 2020Spark MIT