How Is a Workers’ Comp Lien Calculated on a Florida Settlement?