rock chrushers used in the gold mining industry of the s