Calculating an Employer’s Workers Compensation Lien