Text this: Quantitative Characterization of Overburden Rock Development Pattern in the Goaf at Different Key Stratum Locations Based on DEM