The performance of vertical ground source heat pumps (GSHPs) in hot dry climates Saudi Arabia as a case study