A virtual element method for frictional contact including large deformations. Issue 7 (20th June 2019)