What is san antonios population in 2009?