old tools used for gold mining