Validation processes of H-BIM models: a case study