type of stone mining mills in south africa