Lagrangian Explicit Finite Element Modeling for Spin-Rolling Contact