How many people live out the Miami-Dade metropolitan area