Ian Hacking wins Holberg Prize