What is familial hypercholesterolemia, and how is it diagnosed?