Dynamic Modeling and Validation of a Carbon Dioxide Heat Pump System