Why the workouts of Formula 1 drivers might help computer users with 'tech neck'