Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming (Computer Aided Verification, 2021)