Models for map building and navigation