borehole pump sensor