煤矿年产量多少算大矿