Distribution of city size: Zipf, Gibrat, Pareto Law