Heat savings in buildings in a 100% renewable heat and power system in Denmark with different shares of district heating