Credit default models