How long will a borehole pump last?