Modelling the Integration of Residential Heat Demand and Demand Response in Power Systems with High Shares of Renewables