The A.D. 472 eruption of the Somma volcano