Probabilistic Algorithms for Mobile Robot Mapping