Extracting past atmospheric warming and urban heating effects from borehole temperature profiles. (November 2016)