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