Do you have a source for the claim that the population of Austin has decreased recently?