Gravar-mail: Bayesian approach for assessing non-inferiority in a three-arm trial with pre-specified margin