External cardioversion of atrial fibrillation and flutter in patients with cardiac implantable electrical devices