Insurance and incentives in labor contracts: A study in the theory of implicit contracts (Mathematical systems in economics)