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