Shot peening simulated by two different finite element formulations