The mining area near Iglesias in southwestern Sardinia (Pennsylvanian)