Coal Mining Market Size, Share, Growth, and Industry Analysis, By Type (Underground Mining, Surface Mining, Undersea Mining), By Application (Electricity Generation, Coke Production, Generating Heat Energy), and Regional Forecast to 2032