Reliable Numerical Models of Nickel-Titanium Stents: How to Deduce the Specific Material Properties from Testing Real Devices