Cross-Silo Process Mining with Federated Learning