Building Information Modeling and real world knowledge. A methodological approach to accurate semantic documentation for the built environment.