The role of buildings in U.S. energy system decarbonization by mid-century