Cholesterol metabolism in mice models of genetic hypercholesterolemia