Adversarially Robust Decision Trees Against User-Specified Threat Models