The mathematical work of Jon Kleinberg