dtControl: Decision Tree Learning Algorithms for Controller Representation