Gravar-mail: Improved gene tree error correction in the presence of horizontal gene transfer