Design and optimization of personalized ventilation for overall improvement of thermal comfort, air quality, and energy efficiency