Property companies are increasingly offering AI energy software to help cut the greenhouse-gas emissions of buildings.