Distribution of city size: Gibrat, Pareto, Zipf