Mining tools in the gold rush in south Africa