Gravar-mail: Formalizing emotion concepts within a Bayesian model of theory of mind()