A single nucleotide polymorphism in the Emp3 gene defines the H4 minor histocompatibility antigen