Topological and geometric representation models of building indoors: an overview