Distilling interpretable causal trees from causal forests