Código postal de San José en Xochimilco, Ciudad de México, México