A study on the energy performance of a ground source heat pump utilized in the refurbishment of an historical building: Comparison of different design options