2023-2031 Report on Global Electric Rope Shovels Market by Player, Region, Type, Application and Sales Channel