How George R.R. Martin’s involvement in HBO’s Game of Thrones reduced over time