From local explanations to global understanding with explainable AI for trees