Three-dimensional analysis of β-cell proliferation by a novel mouse model