Global identifiability of differential models