F8 and hemophilia A: HLA-transgenic, FVIII-deficient mouse model (hemophilia A)