A mathematical analysis of human leukocyte antigen serology