Hazard ontology and 4D benchmark model for facilitation of automated construction safety requirement analysis