distrito federal area / world population