Vertical-borehole ground-coupled heat pumps: A review of models and systems