Gravar-mail: Flexible Bayesian survival modeling with semiparametric time-dependent and shape-restricted covariate effects