Thermal Modeling of Borehole Ground Source Heat Exchangers: Past, Present, and Future