Bedrock temperature as a potential method for monitoring change in crustal stress: Theory, in situ measurement, and a case history