Proof-Producing Congruence Closure