Código postal de Santa María Tecuanulco en Texcoco, México, México