Outcomes of Robotic Approach Versus Resternotomy in Redo Mitral Valve Surgery: A Propensity‐Matched Study | Synapse