Wer wurde der erste Präsident Portugals nach der Nelkenrevolution?