An efficient 3D finite element procedure for simulating wheel–rail cyclic contact and ratcheting | Synapse