tropicalizations