what type of mining mill is used for copper in south africa