what was the previous name for workers’ compensation