CO2 evaporators design for vehicle HVAC operation: modelization and experimentation