Text this: Educational policies and progress during British rule in Ceylon 1796-1948