Convergence analysis of a proximal point algorithm for minimizing differences of functions