Access to Credit and the Size of the Formal Sector in Brazil