Zaslat SMS: Numerical methods in contact mechanics