Ejected rocks from the 1872 eruption of Vesuvius, Italy: a petrographic and mineralogical overview.