Código postal de Rancho Tejomulco en Xochimilco, Ciudad de México, México