BIM model checker: standard formats, requirements and critical aspects