Design and verification of a shape memory polymer peripheral occlusion device.