Building a Risk Prediction Model for Postoperative Pulmonary Vein Obstruction via Quantitative Analysis of CTA Images