Text this: RETRACTED: Automated verification of digital information models of buildings for compliance with fire safety requirements