Integration of Building Information Modeling (BIM) and Process Mining for Design Authoring Processes