Optimal Sparse Survival Trees