Driving and rest time for professional drivers