Gravar-mail: Bayesian Inference of the Weibull Model Based on Interval-Censored Survival Data