trichy population 2020