How Much Effort Did Muhammad Ali Put Into Boxing? A Deep Dive