The role of district heating in the future Danish energy system