Tree-Based Deep Learning for Ranking Symbolic Integration Algorithms