脑血栓形成和脑栓塞是一个病？