The city proper is home to less than one-thirteenth of the population of South Florida. How many people live in the Miami-Dade metropolitan area?