What is the total number of residents for the districts with the 3 largest areas?
select sum(city_population) from district order by city_area desc limit 3