绿色采矿设备市场规模、份额和行业分析，按设备类型（铲运机、矿用卡车、钻机和锚杆钻机、挖掘机等）、按电源（电池电动、混合动力、氢燃料电池等）、按应用（地下采矿和露天采矿）和区域预测，2026年至2034年