Dynamics of Mount Etna before, during, and after the July-August 2001 eruption inferred from GPS and differential synthetic aperture radar interferometry data