According to the 2001 census, what is the population of the city in which Leonardo Rodriguez was born?