A Primal Approach to Constrained Policy Optimization: Global Optimality and Finite-Time Analysis