Open BIM Model Checker​