Land subsidence in Houston, Texas, measured by radar interferometry and constrained by extensometers