An Analysis of Ionospheric Variations Before the Wenchuan Earthquake with DEMETER Data