When is a mandate issued after an appeal in Texas?