Open and proprietary formats: how the IFC file format works - BibLus