Meta-analysis of net long-term benefit of different therapeutic strategies in patients with cryptogenic stroke and patent foramen ovale