Building Information Model (BIM) based process mining