Describir: Estudios sobre estabilidad de tuneles en el Lago de Texcoco