Combining Proof-Producing Decision Procedures