Proven isolation of the pulmonary vein antrum with or without left atrial posterior wall isolation in patients with persistent atrial fibrillation