A comparison of conventional and CO₂ demand-controlled ventilation systems