Review and Perspectives of Energy-Efficient Methane Production from Natural Gas Hydrate Reservoirs Using Carbon Dioxide Exchange Technology