Computerized high-density mapping of pulmonary veins in atrial fibrillation patients