utilizing gravel pump in mining