Briefing: Measuring pavement skid resistance – comparing manually pushed and trailer-mounted devices. Issue 4 (17th July 2021)