Digitalization for sustainable buildings: Technologies, applications, potential, and challenges