Characterizing and monitoring a high-risk sinkhole in an urban area underlain by salt through non-invasive methods: Detailed mapping, high-precision leveling and GPR | Publicación