开滦煤矿产量占全国比例