Cost-effectiveness of stroke prophylaxis for nonvalvular atrial fibrillation.