What are the differences between formal and informal sources of credit?