全国煤炭开采量多少吨