Device closure for patent foramen ovale following cryptogenic stroke: a survey of current practice in the UK