Injured at employer’s holiday party? No workers’ comp benefits