Transformers to Predict the Applicability of Symbolic Integration Routines