Differentiable sorting for censored time-to-event data