Non-linear analysis of beams prestressed by unbonded cables