Experimental and Theoretical Evaluation of the Effect of CO2-Based Demand-Controlled Ventilation Strategies on Energy Consumption