Tools for BIM-GIS integration (IFC georeferencing and conversions): Results from the GeoBIM benchmark 2019