Text this: Deep semantic segmentation of mangrove combining spatial, temporal and polarization from sentinel-1 time series in the Brazilian territory