Different methods to investigate and to repair the damages of a post-tensioned deck of a high-way bridge after a fire incident due to a traffic accident