Dual hydrocarbon–geothermal energy exploitation: potential synergy between the production of natural gas and warm water from the subsurface. (2019)