In silico thrombectomy trials for acute ischemic stroke