GAS LEAK DETECTOR MARKET TO SURPASS USD 3.1 BILLION BY 2030, DRIVEN BY 6.3% CAGR