Patient mix optimization in tactical cardiothoracic surgery planning: a case study | Synapse