Reduction of mapping time in pulmonary vein isolation using atrial pacing during left atrial voltage map acquisition.