Text this: BIM-Based Model Checking: A Scientometric Analysis and Critical Review