On the Design and Operation of Heat Pump Systems for Zero Carbon Districts