Verifiable Boosted Tree Ensembles