Certifying Robustness to Programmable Data Bias in Decision Trees