Models and computational methods for dynamic friction phenomena