矿山生产规模的核定