东帝汶以前是谁的殖民地