IFC-based clash detection for the open-source BIMserver