Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning