葡萄牙简称什么国家