basement vents open or closed in summer