On Enhancing Planning and Navigation of Beating-Heart Mitral Valve Surgery Using Pre-operative Cardiac Models | IEEE Conference Publication | IEEE Xplore