Machine Learning Analysis of the Cerebrovascular Thrombi Lipidome in Acute Ischemic Stroke