Spatial Representation And Reasoning For Robot Mapping: A Shape-based Approach