Genetic modeling of ovarian phenotypes in mice for the study of human polycystic ovary syndrome.