How does the Aquasensor pump setting work?