When is the deadline to file a reporter’s record in Texas?