what is the population of farmington new mexico