estimated population of domestic cats in the US