Gravar-mail: Bayesian analysis of amino acid substitution models