Axisymmetric simulations of vertical displacement events in tokamaks: A benchmark of M3D-C1, NIMROD, and JOREK