High Voltage Pulse Anodization of a NiTi Shape Memory Alloy