Model-Guided Monitoring of a Building Environment by a Mobile Robot