ATHLATES: accurate typing of human leukocyte antigen through exome sequencing | Synapse