PPO-Clip Attains Global Optimality: Towards Deeper Understandings of Clipping