Please answer this question: what's the population of san antonio texas?
1,511,946