The size distribution of US cities: Not Pareto, even in the tail