Tracking eruptive phenomena by infrasound: May 13, 2008 eruption at Mt. Etna