Atrial pacing for the prevention of atrial fibrillation after cardiovascular surgery.