Chinese miners last year dug up 3.87bn tons of coal, more than enough to keep all four of the next largest users – the United States, India, the European Union and Russia – supplied for a year. The…