Existence, numerical convergence, and evolutionary relaxation for a rate-independent phase-transformation model Academic Article