Graph Theory and BIM: a topological approach for building layout design