A Predictive Model of Mining Collapse Extent and Its Application