how long does workers’ comp last in texas