Workers’ compensation offset includible in Social Security benefits