Código postal de Santa Irene en Texcoco, México, México