Wat was tot de invoering van de euro de officiële munteenheid van Portugal?