Mineralogical and geochemical evolution of the 1982–1983 Galunggung eruption (Indonesia)