why does miami have two mayors