machines and tools used in gold mining