Autonomous Exploration and Semantic Updating of Large-Scale Indoor Environments with Mobile Robots