South African mining: taking stock