Federated Survival Analysis with Discrete-Time Cox Models