Animal models for the study of Gaucher disease