sri lanka population