Nitinol manufacturing and micromachining: A review of processes and their suitability in processing medical-grade nitinol. (February 2019)