Oliver Hart: books, biography and more