Spatial Representation and Reasoning for Robot Mapping: A Shape-Based Approach (Springer Tracts in Advanced Robotics, Band 48)