Major industrial producers of gases consume more power than many tech and oil giants. Their electricity-intensive production ...