The discovery of bottlenecks within BIM design processes by using process mining