A whopping 10% to 15% of the world’s energy goes toward something that, unless you’re a chemical engineer, you probably never think about: separating gasses. Most of that happens the old-fashioned way ...