mining tools in the gold rush in south africa