葡萄牙使用什么货币?欧元还是埃斯库多?