Material Point Method with a Strain-Softening Model to Simulate Roof Strata Movement Induced by Progressive Longwall Mining