A dynamic gain-scheduled ventilation control system for a subway station based on outdoor air quality conditions