Mining Machinery Battery Market Size, Share, and Industry Analysis, By Type (Lead Acid Battery, Lithium Battery, and Others), By Application (Surface Mining Machinery, Underground Mining Machinery, Mining Processing Machinery, and Others), and Regional Forecast, 2025-2032