Text this: A Formula-Structure-Embedding-Based GNN for Formula Equivalence Determination