How is workers’ compensation different for emergency services workers and coal mine workers?