define mining in south africa