鉱山用ホイスト市場規模、シェアおよび業界分析、タイプ別（ドラムホイスト、摩擦ホイスト、その他）、業界別（炭鉱、鉄鉱石、非金属鉱物鉱石、その他）および地域予測2023-2030年