Text this: Subsidence investigations over a high-extraction retreat mine in Williamson County, Illinois :