Q-Linear Convergence of the Proximal Augmented Lagrangian Method for Non-Convex Conic Programming | Synapse