Código postal de San Juan Tuxco en San Martín Texmelucan, Puebla, México