When is workers compensation required in Florida?