Gravar-mail: Modeling and characterization of shape memory alloy springs with water cooling strategy in a neurosurgical robot