Earthquake activity during the 1983 Etna eruption