should i run my pool pump when it rains