mining exports in south africa