what tools are used in gold mining industry