Vitamin K epoxide reductase complex subunit 1 (Vkorc1) haplotype diversity in mouse priority strains