Index theory in nonlinear analysis