Relevance of computing freeze-thaw effects for borehole heat exchanger modelling: A comparative case study