mining types in south africa