An Inspection of IFC Models from Practice