Industrial gases production