The past, present, and future of gas processing technology