Robotic Exploration through Semantic Topometric Mapping