大型矿山规模有多大