what is the population of keystone heights florida