Richmond, Kentucky micropolitan area