Study on nonlinear analysis of a highly redundant cable-stayed bridge