What is an F1 Driver’s Workload Like During a Lap?