Characterization of Atherosclerosis Formation in a Murine Model of Type IIa Human Familial Hypercholesterolemia