Código postal de El Rosario en Xochimilco, Ciudad de México, México