Gravar-mail: Fast and accurate HLA typing from short-read next-generation sequence data with xHLA