Arch: Support of circle-based extrusions in IFC export