Mining terrain subsidence approximation using the polynomials and a subsidence trough profile fragmentation