A mathematical model to infer underground thermal characteristics for the design of borehole heat exchangers