herramientas de mineria del 1800