Satellite monitoring of anomalous effects in the ionosphere related to the great Wenchuan earthquake of May 12, 2008