Impact of chilled ceiling on indoor air distribution in a room with mixing ventilation