How does the pump on a Jabsco manual toilet work?