herramientas de minería en los años 1800 y 1900