Список городов с количеством их жителей

Требуется вывести названия городов и количество пользователей, зарегистрированных в каждом из них, при этом исключив из результата города, в которых нет ни одного пользователя.

-- Таблица "cities"
create table cities (
    id    serial primary key,
    name  text not null
);

insert into cities (name)
values
    ('Москва'),
    ('Санкт-Петербург'),
    ('Краснодар');

-- Таблица "users"
create table users (
    id      serial primary key,
    name    text not null,
    city_id int not null references cities(id)
);

insert into users (name, city_id)
values
    ('Иван', 1),
    ('Анна', 1),
    ('Олег', 2);

``