Do swimming pools make the air more humid?