鉱山機械用バッテリー市場規模、シェア、業界分析、タイプ別（鉛蓄電池、リチウム電池、その他）、用途別（地表鉱山機械、地下鉱山機械、鉱山加工機械、その他）、地域予測、2024年-2032