The slurry pump: a key tool of the mining trade