A new protective destressing technique in underground hard coal mining. (June 2020)