葡萄牙一共有多少殖民地