Pretax income (social insurance definition)