TaqI polymorphism at the human coagulation factor XII locus (F12)