Convergence analysis of a discretization scheme for Gaussian curvature over triangular surfaces