広範囲にわたるオープンピット鉱山の概念 鉱山産業 オープンピット掘削 採掘事業 鉱物資源 産業規模の鉱山