Optimizing Binary MRFs via Extended Roof Duality | Synapse