Modeling of Catheter-Based Ablation of the Left Atrial-Pulmonary Vein Junction in Human Hearts.