Quantos habitantes tem a cidade de São Tomás de Aquino?