Electronic facility records – electronic repository of facility information that is instrumental for building operations and maintenance