Analytical evaluation of cable corrosion effects on the residual prestressing coactive state in post-tensioned concrete elements | Synapse