johannesburg gold mining tools history