Precision HLA typing from next-generation sequencing data