Determining Design Parameters and an Optimal Design Method for Coaxial Geothermal Heat Exchangers Using Verification Experiments and GLHEPro Numerical Analysis