Dynamic heat transfer analysis of a direct-expansion CO2 downhole heat exchanger