Underground Mining Market Size, Share, Growth, and Industry Analysis, By Type (Hard Rock Mining, Soft Rock Mining, Longwall Mining, Room-and-pillar Mining), By Application (Applications), Regional Insights and Forecast to 2033