Review—High-Pressure Carbon Dioxide Separation Using Ionic Liquids: A CO2-Electrocatalysis Perspective