Mine water as a resource: space heating and cooling via use of heat pumps