[2305.06442] Data, Trees, and Forests -- Decision Tree Learning in K-12 Education