Bayesian semiparametric estimation of proportional hazards models