NBC: Judge agrees to October execution date for Texas death row inmate Robert Roberson