Robotic heart valve surgery