Current status and prospects of coal mining science and technology in China | Synapse