how many tamils are there in sri lanka