Text this: Análisis y procesamiento de imágenes SAR para la determinación de subsidencia en la ciudad de Bogotá entre 2017 y 2022