Mining Gas Detector Market Size, Share, Growth, and Industry Analysis, By Type (Stationary Type, Portable Type), By Application (Open-Pit Mining, Underground Mining), Regional Insights and Forecast to 2035