Provably Convergent Data-Driven Convex-Nonconvex Regularization