New results on the proximal point algorithm in non-positive curvature metric spaces