The Watchman device for preventing stroke in patients with atrial fibrillation