Intelligent and ecological coal mining as well as clean utilization technology in China: Review and prospects | Synapse