Gray, Kentucky is a community 4.9 miles west of a city with a city population of what, as of the 2010 census?