Manufacture of industrial gases