Converting a 3D model into an IFC format