Green Mining Market Size, Share, and Industry Analysis, By Type (Surface Mining and Underground Mining), By Technology (Power Reduction, Fuel & Maintenance Reduction, Emission Reduction, Water Reduction, and Others), and Regional Forecast, 2024-2032