MitraNav: Design and Modeling of a Robotic System for Transseptal Mitral Valve Replacement with Dock Catheter Task-Space Control. | Synapse