what is the population of lumpkin county georgia?