How does the Cox maze procedure compare? Cost-effectiveness analysis of alternative treatments of atrial fibrillation