Global identifiability of nonlinear model parameters