GAS LEAK DETECTOR MARKET SCALING AT 6.3% CAGR, HITTING USD 3.1 BILLION BY 2030