Modeling of deformation processes in vacuum thermoforming of a pre-stretched sheet