south africa types of mining