Lessons for human diabetes from experimental mouse models