According to the Sri Lankan census report of 2001, what percentage of the country's total population was comprised of Tamil speakers?