Gas Explosion and Its Protection Technology in Process Industries