Despite a rainy, gloomy summer, Edmonton outdoor pool use is up