population is larger than either Atlanta or Miami?