Analysis of the variation pattern in right upper pulmonary veins and establishment of simplified vein models for anatomical segmentectomy