Satellites detected that the collapsed Miami condo was sinking 2 mm/year in the 1990s. How could satellites possibly detect that?