Workers’ Compensation Benefits for Posttraumatic Stress Disorder