Genetics of Variation in HDL Cholesterol in Humans and Mice