Using time-domain reflectometry for real-time monitoring of subsidence over an inactive mine in Virginia