Transcatheter closure of patent foramen ovale (PFO) in patients with paradoxical embolism: periprocedural safety and mid-term follow-up results of three different device occluder systems