Ian Hacking awarded Holberg Prize in Norway