Ins1Cre knock-in mice for beta cell-specific gene recombination