what is the population of big spring texas