Plane-Strain Modeling of Progressive Goaf Compaction in a Depillaring Working