Trends in productivity in the South African gold mining industry