Time series analysis of Mexico City subsidence constrained by radar interferometry