The city proper is home to less than one-thirteenth of the population of South Florida. Along with Palm Beach and Miami-Dade, what county is part of the Miami-Dade metropolitan area