地下採掘ダイヤモンド掘削市場規模、シェアおよび業界分析、タイプ別（ロータリー掘削、ワイヤーライン掘削）、用途別（ソフトロック、ハードロック）その他および地域予測、2023年から2030年