Introduction and overview of Solibri, a cross-platform software for visualisation, evaluation and checking of IFC models