Manufacturing of industrial gases