Finite-element simulation of stent expansion