ferramentas de mineração em 1800