One pump can empty a pool in 5 days, whereas a second pump can empty the pool in 7 days. How long will it take two pumps, working together, to empty the pool?