Industrial gas detection