Gravar-mail: A Bayesian approach for analyzing partly interval-censored data under the proportional hazards model