Gravar-mail: Phylogenomic species tree estimation in the presence of incomplete lineage sorting and horizontal gene transfer