Incorporating Graph Attention Mechanism into Geometric Problem Solving Based on Deep Reinforcement Learning