Gravar-mail: An algorithm for computing the gene tree probability under the multispecies coalescent and its application in the inference of population tree