Principled Federated Random Forests for Heterogeneous Data