How many people live in the Federal District