how many books has terry pratchett written