A case study on automated safety compliance checking to assist fall protection design and planning in building information models | Synapse