types of mining in south africa