When are court of appeals justices are assigned to a case in Texas?