Intra-Arterial Selective Brain Cooling For Stroke: Mathematical Modeling, And Mri Spectroscopic Thermometry