Roger Federer: A glittering career in numbers