how does a borehole pump work