Interval Temporal Logic Decision Tree Learning