Relationship between effective refractory period and inducibility of atrial fibrillation from the superior vena cava after pulmonary vein isolation