Mining impact in a coal exploitation under an urban area: detection by Sentinel-1 SAR data | Publicación