Certifying Confluence Proofs via Relative Termination and Rule Labeling (Logical Methods in Computer Science, 2017)