Cardiovascular disease in patients with genotyped familial hypercholesterolemia in Norway during 1994–2009, a registry study