Global Mining Equipment Market by Equipment Category, Electric Equipment Type (Mining Trucks, LHD), Industry, Autonomous Equipment Type (Surface Mining, Underground Mining), Region, Global Industry Analysis, Market Size, Share, Growth, Trends, and Forecast 2018 to 2025