A Semi-parametric Bayesian Analysis of Survival Data Based on Lévy-driven Processes