The world’s biggest coal users — China, the United States and India — have boosted coal mining in 2017, in an abrupt departure from last year’s record global decline for the heavily polluting fuel and a setback to efforts to rein in climate change emissions.