¿Cómo van las labores de demolición en la CDMX por el sismo del 19S?