വ്യാവസായിക, ഖനന പമ്പ്