Electric Rope Shovel Market Size, Share, Growth, and Industry Analysis, By Type (20 MT, 20-50 MT, 50-100 MT, ≥100 MT), By Application (Coal, Mine, Other), Regional Insights and Forecast to 2035