tools used in gold mining