Dynamic Preisach modeling of ferromagnetic laminations: A comparison of different finite element formulations