The role of industrial gases in life