Exact and Cost-Effective Automated Transformation of Neural Network Controllers to Decision Tree Controllers