Simulating the change of magnetic properties of electrical steel sheets due to punching