F1 2020 in numbers - from Hamilton's 613 leading laps to Grosjean's 28 seconds to survival