煤矿的规模大小是按什么划分的?煤矿的大小,是按工人数量的多少划分的,还是按照每年的采掘能力划分的?懂行的朋友详细说明一下