Optimizing quantum circuits via zx diagrams using reinforcement learning and graph neural networks