How Rich is George R. R. Martin?