矿山实际开采量高于证上规模