An Innovative Non-Pillar Coal-Mining Technology with Automatically Formed Entry: A Case Study. (November 2020)