Text this: A large-scale extraction framework for mapping urban in-formal settlements using remote sensing and semantic segmentation