Global Optimality Guarantees for Policy Gradient Methods | Synapse