What are the benefits of a sump pump?