Provably-Optimal Sparse Trees