Semi-automatic updating of large scale spatial databases using GIS and remote sensing : A case study of an informal settlement in Dar Es Salaam, Tanzania