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