Theoretical and experimental analysis of a CO2 heat pump for domestic hot water