斯里兰卡是哪一个国家的殖民地