tools used in mining gold