Formal versus informal default in consumer credit