A patient with pulmonary arteriovenous fistulas (P-AVFs) in whom migraine disappeared after transcatheter coil embolization for the secondary prevention of paradoxical infarction. A case report