Gravar-mail: The non-obese diabetic mouse sequence, annotation and variation resource: an aid for investigating type 1 diabetes