Jenson Button: a career in numbers