Symbiosis vs. crowding-out: the interaction of formal and informal credit markets in developing countries