summary of types of mines in south africa