Gravar-mail: A Bayesian Supertree Model for Genome-Wide Species Tree Reconstruction