Mean-square and linear convergence of a stochastic proximal point algorithm in metric spaces of nonpositive curvature