Human-in-the-loop Framework for Automated IFC Model Validation and Closed-Loop Quality Management in BIM | AMiner