Impact of ventilation system type on indoor thermal environment and human thermal comfort in a ceiling cooling room